parallel reduction
parallel reduction
in Technology
A form of
applicative order reduction
in which all
redex
es in an expression are reduced simultaneously. Variants include parallel outermost reduction and lenient reduction. See
normal order reduction
.